Object-Oriented Specification of Distributed Systems (Extended Abstract)

Object-Oriented Specification and Open Distributed Systems

An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning about an object in terms of its observable behavior, where the specification of an object’s present behavior is given by means of its past interactions with the environment. In this paper, we review some of the ideas behi...

A Formal Specification Framework for Object-Oriented Distributed Systems

ÐIn this paper, we present the Concurrent Object-Oriented Petri Nets (CO-OPN/2) formalism devised to support the specification of large distributed systems. Our approach is based on two underlying formalisms: order-sorted algebra and algebraic Petri nets. With respect to the lack of structuring capabilities of Petri nets, CO-OPN/2 has adopted the object-oriented paradigm. In this hybrid approac...

Subtyping for Distributed Object Stores (extended Abstract)

I review the Liskov and Wing subtype deenition that takes into consideration the problem of subtyping in the presence of mutable objects. I then show how this notion of subtyping is relevant to the design of the TOM object repository whose main application today is a data type conversion service accesssible through the Web.

Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract)

Formal Specification of Object-Based Distributed Systems

* This work is partially supported by HP Brasil PUCRS agreement CASCO (24o TA.). † This author is partially supported by CNPq (Brazil). Abstract. In this paper we present the main characteristics of a graphical and declarative formal specification language, called Object Based Graph Grammars (OBGG), suitable for the specification of distributed systems. We show how one can use OBGG by modeling ...